Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
191	Hierarchical Spatial Reasoning theory and GIS technology applied for the automated delineation of administrative boundaries Add to Reading List Source URL: www.csdila.unimelb.edu.au Language: English - Date: 2008-11-16 18:33:50 Geographic information systems Geography Geostatistics Spatial analysis Spatial data infrastructure Geospatial analysis Boundary problem Modifiable areal unit problem Statistics Spatial data analysis Cartography
192	Computational Creativity Autumn School Lecture 1 Introduction to Computational Creativity Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 13:05:30 Problem solving Computational creativity Reasoning Reasoning system Creativity Logic programming Planner Solver Book:Knowledge-Based Engineering Artificial intelligence Automated theorem proving Science
193	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia and David Walker Princeton University, Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Propositional calculus Semantics Philosophical logic Entailment Linear logic Sequent calculus Interpretation Negation Logic Mathematical logic Proof theory
194	Hierarchical Spatial Reasoning theory and GIS technology applied for the automated delineation of administrative boundaries Add to Reading List Source URL: www.csdila.unimelb.edu.au Language: English - Date: 2014-06-03 20:43:29 Geographic information systems Geography Geostatistics Spatial analysis Spatial data infrastructure Geospatial analysis Boundary problem Modifiable areal unit problem Statistics Spatial data analysis Cartography
195	Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study Chitta Baral1 , Tran Cao Son2 , and Enrico Pontelli2 1 Dept. Computer Science & Engineering, Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-12 21:22:14 Computing Automated planning and scheduling Logic programming Frame problem Agent-based model Action description language Action language Action theory Norm Multi-agent systems Artificial intelligence Science
196	Automated Probabilistic Analysis of Air Traffic Control Communications Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2013-11-05 19:44:41 Hypothesis testing Design of experiments Statistical inference Bayesian statistics Psychometrics Statistical hypothesis testing Reasoning system Hypothesis Speech recognition Science Statistics Knowledge
197	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition
198	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Huffman coding Computing Tree B-tree T-tree Adaptive Huffman coding Binary trees Graph theory Mathematics
199	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Entailment Logical consequence Symbol Connection Ordinal number Soundness Natural deduction Curry–Howard correspondence Logic Deduction Proof theory
200	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic

UPDATE